Methods of proof - PDFSEARCH.IO - Document Search Engine

Methods of proof
Results: 168

#	Item
91	Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling IsaPlanner Mathematical proof Formal methods Theorem Formal proof Isabelle Logic Automated theorem proving Mathematics
92	How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:22 Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving
93	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software
94	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
95	A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical proof Proof assistant Logic programming Coq Mathematical logic Formal methods Proof Automated reasoning Logic Mathematics Theoretical computer science
96	Extending the proof methods and critics of a proof planner Daniel Raggi NI VER Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Mathematical logic Logical consequence Philosophical logic Mathematical proof Entailment Sequent calculus Conjecture Mathematical induction Logic Mathematics Proof theory
97	From LCF to HOL: a short history Mike Gordon1 1 Introduction Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-06-19 04:39:27 Mathematical logic Automated theorem proving Formal methods Fellows of the Royal Society Logic for Computable Functions HOL Isabelle Proof assistant Robin Milner Theoretical computer science Logic in computer science Mathematics
98	Towards the Formal Certification of a Mathematical Encyclopedia on the Web Fr´ed´eric Chyzak and Assia Mahboubi∗ Keywords Coq, formal proofs, computer algebra, hypergeometric sums, creative telescoping, Ap´ery const Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-12-15 11:46:42 Applied mathematics Mathematical logic Formal methods Automated theorem proving Coq Mathematical proof Proof assistant Formal verification Correctness Mathematics Logic Theoretical computer science
99	Intelligent Access Project (IAP) – Feasibility Chris Koniditsiotis National Manager - IAP Feasibility Austroads Add to Reading List Source URL: www.nbta.com.au Language: English - Date: 2014-04-23 04:41:12 Information technology management Telematics SMART Proof of concept Evaluation methods Technology GPS
100	Proof Optimization for Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:54 Predicate transformer semantics Hoare logic Partial redundancy elimination Program logic Theoretical computer science Formal methods

UPDATE